Search-Based Program Analysis
نویسنده
چکیده
Traditionally, program analysis has been divided into two camps: Static techniques analyze code and safely determine what cannot happen; while dynamic techniques analyze executions to determine what actually has happened. While static analysis suffers from overapproximation, erring on whatever could happen, dynamic analysis suffers from underapproximation, ignoring what else could happen. In this talk, I suggest to systematically generate executions to enhance dynamic analysis, exploring and searching the space of software behavior. First results in fault localization and specification mining demonstrate the benefits of search-based analysis.
منابع مشابه
Program Budgeting and Marginal Analysis (PBMA) A Method for Prioritizing Resources: A Review Article
Introduction: The optimal allocation of resources is based on the resource requirement of important functions of the health system. The aim of this study is to introduce marginal budget planning and marginal analysis as a new approach to allocating resources of health system resources. Methods: Using the Medline and Google Scholar databases and the PBMA keyword search, studies published in rele...
متن کاملRubella Immunity in Pregnant Iranian Women: A Systematic Review and Meta-Analysis
Background: Rubella infection with in the first trimester of pregnancy may lead to adverse pregnancy outcomes. The present study was conducted to evaluate the immunity against rubella among pregnant Iranian women. Materials and Methods: The steps of meta-analyses were conducted based on the PRISMA guidelines. To review the associated English and Persian literature, a comprehensive search was co...
متن کاملA Comparing between the impacts of text based indexing and folksonomy on ranking of images search via Google search engine
Background and Aim: The purpose of this study was to compare the impact of text based indexing and folksonomy in image retrieval via Google search engine. Methods: This study used experimental method. The sample is 30 images extracted from the book “Gray anatomy”. The research was carried out in 4 stages; in the first stage, images were uploaded to an “Instagram” account so the images are tagge...
متن کاملTabu-KM: A Hybrid Clustering Algorithm Based on Tabu Search Approach
The clustering problem under the criterion of minimum sum of squares is a non-convex and non-linear program, which possesses many locally optimal values, resulting that its solution often falls into these trap and therefore cannot converge to global optima solution. In this paper, an efficient hybrid optimization algorithm is developed for solving this problem, called Tabu-KM. It gathers the ...
متن کاملOptimal Scheduled Unit Commitment Considering Wind Uncertainty Using Cuckoo Search Algorithm
In this paper, a new method to review the role of wind units as an energy-producer in the scheduling problem of unit commitment is presented. Today, renewable energy sources due to lack of environmental pollution, absence of dependence on fossil fuels, and consequently a very low marginal cost, have been receiving considerable attention in power system. But these sources are associated with unc...
متن کاملIGUANA: Input Generation Using Automated Novel Algorithms. A Plug and Play Research Tool
IGUANA is a tool for automatically generating software test data using search-based approaches. Search-based approaches explore the input domain of a program for test data and are guided by a fitness function. The fitness function evaluates input data and measures how suitable it is for a given purpose, for example the execution of a particular statement in a program, or the falsification of an...
متن کامل